#include "gramine_hash.h"

const char g_gramine_commit_hash[] = GRAMINE_COMMIT_HASH;
